Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
71	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionAprilDo not distribute. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-04-03 13:53:43 Embedded Linux Smartphones Android Application programming interface Apache Ant Java Application software Flow network Software Computing Cross-platform software
72	Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths. Sriram Sankaranarayanan Aleksandar Chakarov Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-02 14:26:21 Normal distribution PP Random variable Probability density function Importance sampling Statistical hypothesis testing Variance Test Data Generation Probability box Statistics Probability and statistics Probability theory
73	Terminator II: Stopping Partial Evaluation of Fully Recursive Programs Master’s Thesis Arne John Glenstrup June 13, 1999 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:48 Partial evaluation Algorithm Computing Mathematics Software engineering Static program analysis Termination analysis
74	Partial Escape Analysis and Scalar Replacement for Java Lukas Stadler Thomas Würthinger Hanspeter Mössenböck Add to Reading List Source URL: ssw.jku.at Language: English - Date: 2014-01-08 08:31:29 Compiler construction Memory management Cross-platform software Compiler optimizations Escape analysis Static program analysis Static single assignment form Garbage collection Objective-C Computing Software engineering Computer programming
75	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionAugustDo not distribute. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-08-02 13:59:39 Embedded Linux Smartphones Information flow Information theory Android Apache Ant Type system Java Static single assignment form Software Computing Cross-platform software
76	The Case for Analysis Preserving Language Transformation Xiaolan Zhang Larry Koved Add to Reading List Source URL: gmarceau.qc.ca Language: English - Date: 2008-03-12 13:58:09 Cross-platform software Java platform Control flow Goto Java Static program analysis Programming language Pointer Time of check to time of use Computing Software engineering Computer programming
77	Goanna — A Static Model Checker Ansgar Fehnker1 , Ralf Huuck1 , Patrick Jayet2? , Michel Lussenburg2∗ , and Felix Rauch1 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-07-26 05:56:22 Theoretical computer science Formal methods Applied mathematics Program analysis Model checking Formal verification Static program analysis Abstract interpretation Red Lizard Software Model checkers Software NuSMV
78	ValueAnalyzer for TriCore ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software sys Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Microcontrollers Infineon TriCore Embedded system Compiler GNU Compiler Collection Debugging Software Computing Programming language implementation
79	ValueAnalyzer for ARM ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software system Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-02-17 09:23:11 ARM architecture Microcontrollers Compiler GNU Compiler Collection Mbed microcontroller KEIL ARM9 Software Computing Computer architecture
80	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionAprilDo not distribute. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-04-19 19:49:52 Embedded Linux Smartphones Android Application programming interface Apache Ant Java Application software Flow network Software Computing Cross-platform software

UPDATE